$\vdash$  $\forall$$A$:Type, $P$:($A$$\rightarrow\mathbb{P}$). ($\forall$$x$:$A$. SqStable($P$($x$))) $\Rightarrow$ SqStable($\forall$$x$:$A$. $P$($x$))